Knihy od autora John Derrick

Zobrazeno 1 – 9 z 9 výsledků

1. 

   Refinement in Z and Object-Z

   John Derrick, Eerke A. Boiten | Springer, Berlin, 2001

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Brožovaná

   3930 Kč

   Koupit
2. 

   Integrated Formal Methods

   Eerke A. Boiten, John Derrick, Graeme Smith | Springer, Berlin, 2004

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Abstract State Machines, Alloy, B, VDM, and Z

   John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Refinement

   John Derrick, Eerke Boiten | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
5. 

   Refinement

   John Derrick, Eerke A. Boiten | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1681 Kč

   Koupit
6. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2007

   John Derrick, Jüri Vain | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
7. 

   Refinement in Z and Object-Z

   John Derrick, Eerke A. Boiten | Springer London Ltd, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3313 Kč

   Koupit
8. 

   Integrated Formal Methods

   John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
9. 

   Formal Methods for Open Object-based Distributed Systems

   Howard Bowman, John Derrick | Chapman and Hall, 1997

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   6578 Kč

   Koupit

Knihy zasíláme ve speciálních obalech z pevné lepenky. Zjistěte více